vai3_t;